Optimal. Leaf size=73 \[ -\frac{1}{44} \log \left (2 x^2-x+3\right )+\frac{1}{44} \log \left (5 x^2+3 x+2\right )+\frac{3 \tan ^{-1}\left (\frac{1-4 x}{\sqrt{23}}\right )}{22 \sqrt{23}}+\frac{13 \tan ^{-1}\left (\frac{10 x+3}{\sqrt{31}}\right )}{22 \sqrt{31}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0533335, antiderivative size = 73, normalized size of antiderivative = 1., number of steps used = 9, number of rules used = 5, integrand size = 25, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.2, Rules used = {980, 634, 618, 204, 628} \[ -\frac{1}{44} \log \left (2 x^2-x+3\right )+\frac{1}{44} \log \left (5 x^2+3 x+2\right )+\frac{3 \tan ^{-1}\left (\frac{1-4 x}{\sqrt{23}}\right )}{22 \sqrt{23}}+\frac{13 \tan ^{-1}\left (\frac{10 x+3}{\sqrt{31}}\right )}{22 \sqrt{31}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 980
Rule 634
Rule 618
Rule 204
Rule 628
Rubi steps
\begin{align*} \int \frac{1}{\left (3-x+2 x^2\right ) \left (2+3 x+5 x^2\right )} \, dx &=\frac{1}{242} \int \frac{-11-22 x}{3-x+2 x^2} \, dx+\frac{1}{242} \int \frac{88+55 x}{2+3 x+5 x^2} \, dx\\ &=-\left (\frac{1}{44} \int \frac{-1+4 x}{3-x+2 x^2} \, dx\right )+\frac{1}{44} \int \frac{3+10 x}{2+3 x+5 x^2} \, dx-\frac{3}{44} \int \frac{1}{3-x+2 x^2} \, dx+\frac{13}{44} \int \frac{1}{2+3 x+5 x^2} \, dx\\ &=-\frac{1}{44} \log \left (3-x+2 x^2\right )+\frac{1}{44} \log \left (2+3 x+5 x^2\right )+\frac{3}{22} \operatorname{Subst}\left (\int \frac{1}{-23-x^2} \, dx,x,-1+4 x\right )-\frac{13}{22} \operatorname{Subst}\left (\int \frac{1}{-31-x^2} \, dx,x,3+10 x\right )\\ &=\frac{3 \tan ^{-1}\left (\frac{1-4 x}{\sqrt{23}}\right )}{22 \sqrt{23}}+\frac{13 \tan ^{-1}\left (\frac{3+10 x}{\sqrt{31}}\right )}{22 \sqrt{31}}-\frac{1}{44} \log \left (3-x+2 x^2\right )+\frac{1}{44} \log \left (2+3 x+5 x^2\right )\\ \end{align*}
Mathematica [A] time = 0.0307099, size = 73, normalized size = 1. \[ -\frac{1}{44} \log \left (2 x^2-x+3\right )+\frac{1}{44} \log \left (5 x^2+3 x+2\right )-\frac{3 \tan ^{-1}\left (\frac{4 x-1}{\sqrt{23}}\right )}{22 \sqrt{23}}+\frac{13 \tan ^{-1}\left (\frac{10 x+3}{\sqrt{31}}\right )}{22 \sqrt{31}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.048, size = 60, normalized size = 0.8 \begin{align*}{\frac{\ln \left ( 5\,{x}^{2}+3\,x+2 \right ) }{44}}+{\frac{13\,\sqrt{31}}{682}\arctan \left ({\frac{ \left ( 3+10\,x \right ) \sqrt{31}}{31}} \right ) }-{\frac{\ln \left ( 2\,{x}^{2}-x+3 \right ) }{44}}-{\frac{3\,\sqrt{23}}{506}\arctan \left ({\frac{ \left ( -1+4\,x \right ) \sqrt{23}}{23}} \right ) } \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.42659, size = 80, normalized size = 1.1 \begin{align*} \frac{13}{682} \, \sqrt{31} \arctan \left (\frac{1}{31} \, \sqrt{31}{\left (10 \, x + 3\right )}\right ) - \frac{3}{506} \, \sqrt{23} \arctan \left (\frac{1}{23} \, \sqrt{23}{\left (4 \, x - 1\right )}\right ) + \frac{1}{44} \, \log \left (5 \, x^{2} + 3 \, x + 2\right ) - \frac{1}{44} \, \log \left (2 \, x^{2} - x + 3\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.00017, size = 207, normalized size = 2.84 \begin{align*} \frac{13}{682} \, \sqrt{31} \arctan \left (\frac{1}{31} \, \sqrt{31}{\left (10 \, x + 3\right )}\right ) - \frac{3}{506} \, \sqrt{23} \arctan \left (\frac{1}{23} \, \sqrt{23}{\left (4 \, x - 1\right )}\right ) + \frac{1}{44} \, \log \left (5 \, x^{2} + 3 \, x + 2\right ) - \frac{1}{44} \, \log \left (2 \, x^{2} - x + 3\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 0.267898, size = 83, normalized size = 1.14 \begin{align*} - \frac{\log{\left (x^{2} - \frac{x}{2} + \frac{3}{2} \right )}}{44} + \frac{\log{\left (x^{2} + \frac{3 x}{5} + \frac{2}{5} \right )}}{44} - \frac{3 \sqrt{23} \operatorname{atan}{\left (\frac{4 \sqrt{23} x}{23} - \frac{\sqrt{23}}{23} \right )}}{506} + \frac{13 \sqrt{31} \operatorname{atan}{\left (\frac{10 \sqrt{31} x}{31} + \frac{3 \sqrt{31}}{31} \right )}}{682} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.26467, size = 80, normalized size = 1.1 \begin{align*} \frac{13}{682} \, \sqrt{31} \arctan \left (\frac{1}{31} \, \sqrt{31}{\left (10 \, x + 3\right )}\right ) - \frac{3}{506} \, \sqrt{23} \arctan \left (\frac{1}{23} \, \sqrt{23}{\left (4 \, x - 1\right )}\right ) + \frac{1}{44} \, \log \left (5 \, x^{2} + 3 \, x + 2\right ) - \frac{1}{44} \, \log \left (2 \, x^{2} - x + 3\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]